Stochastic Clearing Systems With Markovian Inputs: Performance Evaluation and Optimal Policies
نویسنده
چکیده
This thesis studies the stochastic clearing systems which are characterized by a nondecreasing stochastic input process {Y (t), t ≥ 0}, where Y (t) is the cumulative quantity entering the system in [0, t], and an output mechanism that intermittently and instantaneously clears the system. Examples of such systems can be found in shipment consolidation, inventory backlog, lot sizing, shuttle bus dispatch, bulk service queues, and other stochastic service and storage systems. In our model, the input process is governed by an underlying discrete-time Markov chain such that, the distribution of the input in any given period depends on the underlying state in that period. The outstanding inputs in the system are recorded in strings to keep track of the ages, i.e., the time elapsed since their arrival, of each input. The decision of when to clear the system depends on a “clearing policy” which itself depends on the input quantities, ages, and the underlying state. Clearing the system will incur a fixed cost and a variable cost depending on the quantities cleared; a penalty is charged to the outstanding inputs in every period, and such penalty is non-decreasing in both the quantities and the ages of the inputs. We model the system as a tree structured Markov chain with Markovian input processes and evaluate the clearing policies with respect to the expected total costs over a finite horizon, the expected total discounted cost over an infinite horizon, as well as the expected average total cost per period over an infinite horizon. Relying on theories of Markov Decision Processes and stochastic dynamic programming, we then proceed to show some properties unique to the optimal clearing policies, and prove that a state-dependent threshold policy can be optimal under special conditions. We develop algorithms or heuristics to evaluate a given clearing policy and find the optimal clearing policy. We also use Matrix Analytic Methods to evaluate a given clearing policy and develop an efficient heuristic to find near-optimal clearing policies. Finally, we conduct extensive numerical analyses to verify the correctness, complexity, and optimality gap of our algorithms and heuristics. Our numerical examples successfully demonstrate the analytical results we proved. iii
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAlmost sure exponential stability of stochastic reaction diffusion systems with Markovian jump
The stochastic reaction diffusion systems may suffer sudden shocks, in order to explain this phenomena, we use Markovian jumps to model stochastic reaction diffusion systems. In this paper, we are interested in almost sure exponential stability of stochastic reaction diffusion systems with Markovian jumps. Under some reasonable conditions, we show that the trivial solution of stocha...
متن کاملTwo-Stage Stochastic Day-Ahead Market Clearing in Gas and Power Networks Integrated with Wind Energy
The significant penetration rate of wind turbines in power systems made some challenges in the operation of the systems such as large-scale power fluctuations induced by wind farms. Gas-fired plants with fast starting ability and high ramping can better handle natural uncertainties of wind power compared to other traditional plants. Therefore, the integration of electrical and natural gas syste...
متن کاملIntroducing a New Formulation for the Warehouse Inventory Management Systems: with Two Stochastic Demand Patterns
This paper presents a new formulation for warehouse inventory management in a stochastic situation. The primary source of this formulation is derived from FP model, which has been proposed by Fletcher and Ponnambalam for reservoir management. The new proposed mathematical model is based on the first and the second moments of storage as a stochastic variable. Using this model, the expected value...
متن کامل